2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
Автор:
Robert Laurence Baber
Размер книги: 56.45 Mb
Error Free Software: Know-how and Know-why of Program Correctness
Автор:
Robert Laurence Baber
Размер книги: 56.46 Mb
Software Reflected: The Socially Responsible Programming of Computers
Автор:
Robert Laurence Baber
Размер книги: 59.78 Mb
The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
Автор:
Robert Laurence Baber
Категория:
Computer Science
,
Software Engineering
Размер книги: 67.06 Mb
